The Multiset Semantics of SPARQL Patterns
نویسندگان
چکیده
The paper determines the algebraic and logic structure of the multiset semantics of the core patterns of SPARQL. We prove that the fragment formed by AND, UNION, OPTIONAL, FILTER, MINUS and SELECT corresponds precisely to both, the intuitive multiset relational algebra (projection, selection, natural join, arithmetic union and except), and the multiset non-recursive Datalog with safe negation.
منابع مشابه
Constraint Handling Rules with Multiset Comprehension Patterns
CHR is a declarative, concurrent and committed choice rulebased constraint programming language. We extend CHR with multiset comprehension patterns, providing the programmer with the ability to write multiset rewriting rules that can match a variable number of constraints in the store. This enables writing more readable, concise and declarative code for algorithms that coordinate large amounts ...
متن کاملProvenance for SPARQL Queries
Determining trust of data available in the Semantic Web is fundamental for applications and users, in particular for linked open data obtained from SPARQL endpoints. There exist several proposals in the literature to annotate SPARQL query results with values from abstract models, adapting the seminal works on provenance for annotated relational databases. We provide an approach capable of provi...
متن کاملHandling owl:sameAs in RDFox via Rewriting
RDFox is a scalable, centralised, main-memory, multi-core RDF system that supports materialisation-based reasoning in OWL 2 RL and SWRL. Reasoning with the owl:sameAs property using the OWL 2 RL/RDF rules can be very inefficient, so in this paper we extend RDFox to handle owl:sameAs via rewriting—replacing equal resources with a single representative. The main challenge in applying this well-kn...
متن کاملHow (Well) Do Datalog, SPARQL and RIF Interplay?
In this tutorial we will give an overview of the W3C standard query language for RDF – SPARQL – and its relation to Datalog as well as on the interplay with another W3C standard closely related to Datalog, the Rule Interchange Format (RIF). As we will learn – while these three interplay nicely on the surface and in academic research papers – some details within the W3C specs impose challenges o...
متن کاملSemantics Preserving SPARQL-to-SQL Query Translation for Optional Graph Patterns
The Semantic Web has recently gained tremendous momentum due to its great potential for providing a common framework that allows data to be shared and reused across application, enterprise, and community boundaries. While Resource Description Framework (RDF) is a W3C recommended langauge for representing data over the Semantic Web, SPARQL is an emerging W3C query language for RDF data. Although...
متن کامل